-
1 отношение полной фундированности
Большой англо-русский и русско-английский словарь > отношение полной фундированности
-
2 отношение полной фундированности
Mathematics: well-founded relationУниверсальный русско-английский словарь > отношение полной фундированности
-
3 отношение полной фундированности
Русско-английский научно-технический словарь Масловского > отношение полной фундированности
-
4 well-founded relation
Большой англо-русский и русско-английский словарь > well-founded relation
-
5 well-founded relation
Математика: отношение полной фундированности -
6 well-founded relation
English-Russian scientific dictionary > well-founded relation
См. также в других словарях:
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия